A Biography of Ole-Johan Dahl

Software Specifications, January 22–February 2, 1979, Copenhagen Winter School, D. Bjørner (ed.). LNCS no. 86, Springer 1979, pages 274-290. 23. The Development of the Simula Languages (Chapter IX: SIMULA Session). K. Nygaard and O.-J. Dahl. In: History of Programming Languages. Richard L. Wexelblat (ed.), Academic Press, New York, 1981, pages 439-493. Also in: ACM Sigplan History of Programming Languages Conference, June, 1978. ACM Sigplan Notices 13(1978) no. 8, pages 245-272. 24. Object Oriented Specification. O.-J. Dahl. In: Research Directions in ObjectOriented Programming, Bruce Shriver and Peter Wegner (eds.), MIT Press, Cambridge, 1987, pages 561-576. (Presented at the Object-Oriented Programming Workshop, June, 1986.) 25. Generator induction in order sorted algebra. O. Owe & O.-J. Dahl. In: Formal Aspects of Computing 3(1991) pages 2-20. 26. Formal Development with ABEL. O.-J. Dahl and O. Owe. In: Proceedings of Formal Software Development Methods. VDM ’91, Oct. 1991. LNCS no. 552, Springer, 1991, pages 320-362. 27. Object Orientation and Formal Techniques (extended abstract). O.-J. Dahl. In: VDM ’90 VDM and Z – Formal Methods in Software Development. LNCS no. 428, Springer, 1992, pages 1-11. 28. Value Types and Object Classes. O.-J. Dahl. In: ASU Newsletter 20(1992) no. 1, pages 8-20. 29. Monitors Revisited. O.-J. Dahl. In: A classical Mind: Essays in Honour of C.A.R. Hoare. A.W. Roscoe (ed.). Prentice Hall, 1994, pages 93-103. 30. Relating a Simulation Model to an Applicative Specification. O.-J. Dahl. In: Modelling and Simulation: Proceedings ESM, Praha, 1995, M. Snorek, M. Sujansky, A. Verbraeck (eds.) Society for Computer Simulation International, 1995, pages 633-638. 31. Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types jointly with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected papers. Magne Haveraaen, O. Owe, O.-J. Dahl (eds.). LNCS no. 1130, Springer, 1996, (550 pages) ISBN 3-540-61629-2 32. Data Access Safety and Storage Economy in Programming Languages. O.-J. Dahl. (8 pages) 23rd ASU Conference, August 1997, Stara Lesna, Slovakia. ASU Newsletter vol. 24, no. 2, Feb. 1998. 33. On Introducing Higher Order Functions in ABEL. O.-J. Dahl and Bjørn Kristoffersen. In: Nordic Journal of Computing 5(1998) pages 50-69. 34. Subtyping and Constructive Specification. O.-J. Dahl, O. Owe, Tore J. Bastiansen. In: Nordic Journal of Computing 5(1998) pages 19-49. 35. A Note on Monitor Versions: an Essay in the Honour of C.A.R. Hoare. O.J. Dahl. In: Millennial Perspectives in Computer Science (Proceeding of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare). Jim Davis, Bill Roscoe and Jim Woodcock (eds.). PALGRAVE, in the series Cornerstones of Computing, 2000, pages 91-98. 36. The Roots of Object Orientation: the Simula Language. O.-J. Dahl. In: Software Pioneers: Contribution to Software Engineering. Manfred Broy, Ernst Denert (eds.), Springer Verlag, 2002. pages 78-90. (Talk given at conference in Bonn, June 2001) ISBN 3-540-43081-4Data Types jointly with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected papers. Magne Haveraaen, O. Owe, O.-J. Dahl (eds.). LNCS no. 1130, Springer, 1996, (550 pages) ISBN 3-540-61629-2 32. Data Access Safety and Storage Economy in Programming Languages. O.-J. Dahl. (8 pages) 23rd ASU Conference, August 1997, Stara Lesna, Slovakia. ASU Newsletter vol. 24, no. 2, Feb. 1998. 33. On Introducing Higher Order Functions in ABEL. O.-J. Dahl and Bjørn Kristoffersen. In: Nordic Journal of Computing 5(1998) pages 50-69. 34. Subtyping and Constructive Specification. O.-J. Dahl, O. Owe, Tore J. Bastiansen. In: Nordic Journal of Computing 5(1998) pages 19-49. 35. A Note on Monitor Versions: an Essay in the Honour of C.A.R. Hoare. O.J. Dahl. In: Millennial Perspectives in Computer Science (Proceeding of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare). Jim Davis, Bill Roscoe and Jim Woodcock (eds.). PALGRAVE, in the series Cornerstones of Computing, 2000, pages 91-98. 36. The Roots of Object Orientation: the Simula Language. O.-J. Dahl. In: Software Pioneers: Contribution to Software Engineering. Manfred Broy, Ernst Denert (eds.), Springer Verlag, 2002. pages 78-90. (Talk given at conference in Bonn, June 2001) ISBN 3-540-43081-4 Reports from University of Oslo Early reports are from Department of Mathematics, section D (for numerical analysis and computer science). Later reports are from Department of Informatics (IFI), which was formed in 1978. Reports marked by a star ( ∗) represent early versions or revisions of papers mentioned above.